F T E: A Fuzzy Timed Action Language
نویسندگان
چکیده
This paper proposes a fuzzy approach for reasoning about action and change in timed domains. In our method, actions and world states are modeled as fuzzy sets over time axis. Thus, their temporal relations and time constraints can be model as fuzzy rules. So, our method handles well the issue that action happens at an approximate time and then the states change also at an approximate time, which has not been solved well in existing work. Finally, our method is used to solve the classic problem of rail road crossing control in a fuzzy environment. The theoretic and simulation analysis shows that the controller using our method works well.
منابع مشابه
The Syntax and Semantics of timed CRL Jan Friso
We de ne a speci cation language called `timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL [17]. It di ers in two main aspects. It is possible to make explicit reference to time using a new `at' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made...
متن کاملAction Transducers and Timed AutomataNancy
The timed automaton model of 29, 30] is a general model for timing-based systems. A notion of timed action transducer is here deened as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can...
متن کاملThe Syntax and Semantics of Timed $mu Crl$ the Syntax and Semantics of Timed Crl
We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...
متن کاملMINIMAL AND STATEWISE MINIMAL INTUITIONISTIC GENERAL L-FUZZY AUTOMATA
In this note, by considering the notions of the intuitionistic general L-fuzzy automaton and $(alpha, beta)$-language, we show that for any $(alpha, beta)$-language $mathcal{L}$, there exists a minimal intuitionistic general L-fuzzy automaton recognizing $mathcal{L}$.We prove that the minimal intuitionistic general L-fuzzy automaton is isomorphic with threshold $(alpha,beta)$ to any $(alpha, be...
متن کاملFuzzy almost generalized $e$-continuous mappings
In this paper, we introduce and characterize the concept of fuzzy almost generalized $e$-continuous mappings. Several interesting properties of these mappings are also given. Examples and counter examples are also given to illustrate the concepts introduced in the paper. We also introduce the concept of fuzzy $f T_{frac{1}{2}}e$-space, fuzzy $ge$-space, fuzzy regular $ge$-space and fuzzy gener...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013